| emsoft | participants

Shan Lin

Program Committees:
2019, 2020, and 2022
.

EMSOFT 2025: 25th International Conference on Embedded Software

Cumulative-Time Signal Temporal Logic

Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott Smolka, Scott D. Stoller, and Shan Lin